Parametric Timing Analysis for Real-Time Systems
نویسنده
چکیده
We extend a TCTL model-checking problem to a parametric timing analysis problem for real-time systems and develop new techniques for solving it. The algorithm we present here accepts timed transition system descriptions and parametric TCTL formulas with timing parameter variables of unknown sizes and can give back general linear equations of timing parameter variables whose solutions make the systems work. ] 1996 Academic Press
منابع مشابه
Determinants of the Timing of Bank Failure in Ten Asian Countries
The purpose of this paper is to examine the determinants of the timing of bank failure/merger in 10 Asian countries over the period of 1999-2007 using a multivariate logit model and a split population duration analysis. Apart from bank-specific information, we also focus on the effects of macroeconomic and financial characteristics. The following empirical findings are obtained. First, the resu...
متن کاملA Statistical Approach to Simulation Model Validation in Timing Analysis of Complex Real-Time Embedded Systems
Simulation-based analysis methods make few restrictions on the system design and scale to very large and complex systems, therefore they are widely used in timing analysis of complex industrial embedded systems. This paper presents a statistical approach to validation of temporal simulation models extracted from complex real-time embedded systems, by introducing existing mature statistical meth...
متن کاملTight Timing Estimation With the Newton-Gregory Formulae∗
Parametric worst-case execution time (WCET) bounds are critical in removing restrictions, such as known loop bounds, on algorithms for important applications such as scheduling for real-time embedded systems. Current parametric approaches have difficulties with loop nests that include non-rectangular loops, zero-trip loops, and/or loops with non-unit strides. This paper presents a novel approac...
متن کاملApplying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems
Due to the increase of complexity in real-time safety-critical systems, verification and validation costs have significantly increased. A straightforward way to reduce costs is to reuse existing systems, adapting them to new requirements, so as to avoid new costly developments. Our aim is to verify during the development strategy definition phase whether the existing products can be reused and ...
متن کاملParametric Time-Based Dispatching in CORBA Distributed Environments
This paper presents a complete system model for scheduling and dispatching CORBA service requests that have hard as well as soft real-time timing requirements in a distributed environment. The model provides the methodology for expressing and enforcing time-based QoS constraints for real-time CORBA service requests. Therefore, the presented model complements the state of the art in real-time sc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Comput.
دوره 130 شماره
صفحات -
تاریخ انتشار 1996